XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
نویسندگان
چکیده
It has long been an open question whether the formula XCB = EpEEEpqErqr is, with the rules of substitution and detachment, a single axiom for the classical equivalential calculus. This paper answers that question affirmatively, thus completing a search for all such eleven-symbol single axioms that began seventy
منابع مشابه
Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
With the inclusion of an effective methodology, this article answers in detail a question that, for a quarter of a century, remained open despite intense study by various researchers. Is the formula XCB = e(x, e(e(e(x, y), e(z, y)), z)) a single axiom for the classical equivalential calculus when the rules of inference consist of detachment (modus ponens) and substitution? Where the function e ...
متن کاملD-complete Axioms for the Classical Equivalential Calculus
Virtually all previously known axiom sets for the classical equivalential calculus, EQ, are D-incomplete: not all theorems derivable by substitution and detachment can be derived using the rule D of condensed detachment alone. The only exception known to the author is Wajsberg’s base {EEpEqrErEqp, EEEpppp}. This axiom set, albeit inorganic since one of its members contains a theorem of EQ as a ...
متن کاملComputer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus
It has been known since 1939 that for a formula to be a single axiom for the equivalential calculus i t s length must be at least 11, and that single axioms of this length exist . Also, a single axiom of length 11 must have the two-property. There are 630 formulas with the two-property and of length 11. With computer assistance, the authors have shown that 612 of these 630 formulas are not sing...
متن کاملSLIDING MODE CONTROL BASED ON FRACTIONAL ORDER CALCULUS FOR DC-DC CONVERTERS
The aim of this paper is to design a Fractional Order Sliding Mode Controllers (FOSMC)for a class of DC-DC converters such as boost and buck converters. Firstly, the control lawis designed with respect to the properties of fractional calculus, the design yields an equiv-alent control term with an addition of discontinuous (attractive) control law. Secondly, themathematical proof of the stabilit...
متن کاملNon-Newtonian Fuzzy numbers and related applications
Although there are many excellent ways presenting the principle of the classical calculus, the novel presentations probably leads most naturally to the development of the non-Newtonian calculus. The important point to note is that the non-Newtonian calculus is a self-contained system independent of any other system of calculus. Since this self-contained work is intended for a wide audience, inc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 17 شماره
صفحات -
تاریخ انتشار 1976